home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / eright.tm < prev    next >
Encoding:
Text File  |  1993-04-05  |  435 b   |  24 lines  |  [TEXT/????]
  1. S    #  ->  S1   L
  2. S    a  ->  S1   L
  3. S    b  ->  S1   L
  4. S1   #  ->  q1   R
  5. S1   a  ->  S1   L
  6. S1   b  ->  S1   L
  7. q1   #  ->  S    R
  8. q1   a  ->  qa   #
  9. q1   b  ->  qb   #
  10. qa   #  ->  aa   R
  11. qb   #  ->  bb   R
  12. aa   #  ->  q2   a
  13. aa   a  ->  aa   R
  14. aa   b  ->  qb   a
  15. qb   a  ->  bb   R
  16. bb   #  ->  q2   b
  17. bb   b  ->  bb   R
  18. bb   a  ->  qa   b
  19. qa   b  ->  aa   R
  20. q2   a  ->  S    R
  21. q2   b  ->  S    R
  22.  
  23. Tape:
  24. #a##baab###########abbaaaabb#